翻訳と辞書 Words near each other ・ pdp-20 ・ pdp-6 ・ pdp-7 ・ pds ・ pds/magen ・ pdsa cycle ・ pdu ・ pe ・ peacenet ・ peak envelope power ・ peano arithmetic ・ pearl ・ pebble ・ pebbleman ・ pebcak ・ pebkac ・ pecos ・ pedagogic algorithmic language ・ peek ・ peel Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク peano arithmetic ： FOLDOC Peano arithmetic A system for representing natural numbers inductively using only two symbols, "0" (zero) and "S" (successor). This could be expressed as a recursive data type with the following Haskell definition: data Peano = Zero | Succ Peano The number three, usually written "SSS0", would be Succ (Succ (Succ Zero)). Addition of Peano numbers can be expressed as a simple syntactic transformation: plus Zero n = n plus (Succ m) n = Succ (plus m n) (1995-03-28) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.